Added handling of control-flow problematic expressions. But not sure if it is generally correct - for the problem see slicing tests 114 and 115
Added handling of control-flow problematic expressions. But not sure if it is generally correct - for the problem see slicing tests 114 and 115