lib: support DoWhile
ssa: support unary expression
lib: support SequenceExpression