improved Parser and PVS Printer: now expressions can contain functions