most statments,
need to handle return and Decl1 Decl2