test for contradiction in propagation
isSolution test and implementation