nondet_ite_2.m:041: In `p'(out):
nondet_ite_2.m:041:   warning: determinism declaration could be tighter.
nondet_ite_2.m:041:   Declared `nondet', inferred `multi'.