decls are now at start of body with var keyword, exprs are now conditions