Allow dependencyHelper to return the truth value of a negated object
Currently, the dependencyHelper does not allow to retrieve the truth value of a negated object. This can be a problem in practice (we actually need it for MISC 2012).
Currently, the dependencyHelper does not allow to retrieve the truth value of a negated object. This can be a problem in practice (we actually need it for MISC 2012).