3 tests from Aldy using the relations generated by GORI between operands 
to set or clear NANs as appropriate on outgoing edges.

Pushed.

Andrew