Now we postpone abstraction when we hit the maximum subgoal size in
the middle of a attributed variable, rather than aborting.
Authored by: tswift 2018-05-18
Parent: [r9296]
Child: [r9298]
