Renamed some variables
Fixed check_non_loaded, so that it can work using the current working directory if a directory is not supplied
Ignoring nitrace module when tracing
Added called_by/3 for predicates that consult the prolog database
Moved static_strip_module to its own module
Using static_strip_module to test that the fact module is instantiated