tuned code structure of trans_expression function
type checked seqexpr and assignment expr