The PSI Program Model Builder - synthesis of very high-level programs