Changed implementation for building CFG. #16
Supports "assign", "call" and "while" statements.
Changed to iterative algorithm.