Tweaking ControlFlowAnalysis

Will replace hacky finding of stack operands with proper data flow
analysis at some point. First step is to calculate control flow.
Some more complex tests.

Tests of methods that we expect to be used.