started substitutions

It seems I need substitutions on [Sepprover.inner_form]s, which come
from abduction queries to the prover.