Corrected bug in "ppCoreProg" (it wasn't reading the correct context).
Changed ppCoreProg in AST to be the same as in CLEAN.