AnchorTernaryStmts appears to work. it could be better-named since it actually transforms ternary exprs
added nonzero_ternary to test.ifs and AnchorFloatingStmts hacked to deal with branches; it appears compatible with AnchorTernaryStmts