contradicts
public abstract boolean contradicts(Expression o);
public boolean contradicts(Expression o)