static Condition
equal(Condition left, Condition right)
implies(Condition premises, Condition conclusion)
unisonNull(List<? extends Function<?>> functions)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait