path contradiction checking and subset checking methods added
cleanup