We added module name lookup for Replicable, and we can assert a module non-existence now.
We can now debug opp_any_obj.c