Updated expressions to only have one acquire actions
Break in while fixed, updating stmt from statements
Break and continue actions are included in the flowEnvironment
While and do + switch