[curry] The PAKCS REPL consider something undefined, but the module defining it is loaded