fix bugs in aisequence::execute