NSTO Programs (Not Subject to Occur-Check)