+ | _ =>
+ case findPrim eAll of
+ NONE => (EApp (e1', e2'), loc)
+ | SOME (f, args) =>
+ case function f of
+ NONE => (EApp (e1', e2'), loc)
+ | SOME f => case f (map (reduceExp G) args) of
+ NONE => (EApp (e1', e2'), loc)
+ | SOME e' => reduceExp G e'