implemented nondeterminism at operation-call substitutions (with and without return values)
fixed typechecker bug for op-sub-calls

+ test