Bug fix in implementation_module/2, was not working as test
Fixed minor bug in implementation_module usage, when the head or module are
uninstantiated