simplify := constrain T stmts