One cut too many and overzealous type-checking in previous commit to avoid spurious choice points
One cut too many and overzealous type-checking in previous commit to avoid spurious choice points

LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3