Method for checking syntax of PROGV.
Method for minimal compilation of PROGV.
Initial test for PROGV.