Fixed bug printing numerical entailment.
Fixed build-numerical-entailment ignoring the substitution.