Here we describe additional functions which improve the user control on the environment. The first set of functions is composed of unary and binary boolean functions.
T iff the expression x depends on v at any level .
Otherwise, it can be used while not ORDP cannot. It is to be stressed that identifiers assigned from the input of files are ignored . The option all is the most convenient for SHOW but, with it, it may takes time to get the answer after one has worked several hours. One should be careful when using this facility since the only functions which cannot be erased are those which are protected with the lose flag.