fixing a bug in mapping role inferences which could bork premises of an
inference and thus prevent its subsequent unwinding. the provability
test didn't catch it because the remaining premise was an asserted axiom
and thus everything seemed provable.