fix a serious bug in the generation of termination problems from Prolog programs
fix a serious bug
in the generation of termination
problems from Prolog programs
pepeiborra/narradar,pepeiborra/narradar,pepeiborra/narradar