This function returns the Set of all the NamedSymbols that appear as
relations in preconditions of the operators, but do not appear in any of
the effects.
This constructor creates a new Goal in which the Atoms from the first
given Set are to be achieved and the Atoms from the second given Set must
not hold.