started implementing Sierra Goto using allocas:
forward-goto seems to work; backwards-goto needs a check when to do a real
branch;
we need to reconsider propagating masks from a statement to its successor