started implementing control-flow analysis, added syntactic sugar for assignments from calls.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
implemented flow graphs.