Three gates that should have left one behind

I have been building a linter for quantum chemistry setups, nqf-lint. Some of it is easy. Some of it...