PVSPrinter: added generation of subtypes for function arguments