nl_tokens: Construct the program arguments predicate
pl_tokens: function ( programArgs ) { let _programArgs = programArgs ; if ( programArgs === undefined ) { _programArgs = [ ] ; } // map to values _programArgs = _programArgs . <mask> ( arg => new Value ( arg ) ) ; let argsList = new List ( _programArgs ) ; let theta = { List : argsList } ; return programArgsPredicate . substitute ( theta ) ; }