Added CFG for pascal