Better support for explicit-qualified module calls of database predicates