Added double negation inspection