found a spurious behavior on Nat subtraction combined with conditionals.