On Tue, 1 Dec 2015, Zoltan Somogyi wrote: > Since $pred expands to the MODULE QUALIFIED predicate name, > should we delete the $module argument in calls to unexpected > and related predicates? I generally use, 'unexpected($file, $pred , ...', since the file name can differ from the module name. Julien.