Generates PS code: check TestProg for example

If statements still don’t work, Also, procedure calls are not properly
implemented