Switched to hevristic solver, that calls test prolog goal
Switched to hevristic solver, that calls test prolog goal