fix comment
experimental changes (hacks) that help solving
exists-trace goals