fix/enhanche TestPrologSubstitution test