removed unneeded dummy contradiction checker method