renamed Sequence::PostHandler -> SeqPostHandler
added an argument of SeqPostHandler to Expr::Exec
implementing SeqPostHandler