Neg triconnected component preprocessing rule in place