FIXED: In ciao emulation, new_declaration/1 is modular, therefore
       ciao:declaration/2 should also record the module.