In due time goal_expansion/2 will be replaced by providing inline predicates

Please start discussing here, its off topic to How is goal expansion for closures defined?

@EricGT could please split topic and move all the inline stuff here.