Added more usage modes of implementation_module/2: when the qualified goal have a non atom Module.
Simplified location_utils.pl using new usage mode of implementation_module