Error when learning an `_ -> false` predicate

[Azzaare]

When learning an error function from an always false predicate, there are no satisfying configuration to evaluate the metric.

We need to provide a default error function for this case.