The `forall/2` predicate is no longer recognized as a Logtalk built-in predicate