Timeout but only for simple term abduction, based on number of steps.
A heuristic in term abduction to prefer better invariant return types.