DesignExtractor: working createCFG, isNext. Edited Parser, Global Abstraction to add THEN and ELSE as a TYPE. Edited Parser's Tokenizer to add the tokens correctly