Handle special "not" cases for E712

This is related to #86.