Rewrite to an empty node when the lhs of subtraction is empty.
Rewrite to an empty node when the lhs of subtraction is empty.

This should never be reached in practice, I just can't resist handling it, though.

katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm