It's no longer necessary for checking if a call to a meta-predicate or a coinductive predicate precedes the corresponding directive