Remove Conjunction Test

It is not needed yet, wait until CNF & DNF