What is wrong with this translation? Note that the old one failed due to an instantiation error because '$t_body'(M:Var, ...) failed to use the first clause, after which $extend produces the instantiation error.
What is wrong with this translation? Note that the old one failed due to
an instantiation error because '$t_body'(M:Var, ...) failed to use the
first clause, after which $extend produces the instantiation error.

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