fixed the handling of function calls

ParseMe.scala

src/funcheck/CodeExtraction.scala

src/funcheck/Extractors.scala

src/purescala/Definitions.scala

src/purescala/PrettyPrinter.scala