Remove some incorrect rules; fixes #1658: CSE [of Doubles] changes semantics