Apply a substitution extracted from numeric solution, here to avoid quantifier violation for term equations.