Unless you're using some non-standard definition of evaluation, this is not true when using a lazy strategy. Consider the term ((const c) x) for g x which redu

Unless you're using some non-standard definition of evaluation, this is not true when using a lazy strategy. Consider the term ((const c) x) for g x which reduces to c without ever evaluating x.