Now detecting LIKE tautologies.