List goals that trivially fail because there is no matching clause. Options:
module_class(+Classes)
Process modules of the given Classes. The default for classes
is [user]. For example, to include the libraries into the
examination, use [user,library].