FIXED: Top level now performs expand_goal/2 *after* correcting the goal.
FIXED: Top level now performs expand_goal/2 *after* correcting the goal.

jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel