Problem 58.
More robust inspection of the substitution form.