Make backchain less picky about the form of the theorem being backchained.