Detect the unlikely but possible error case where a `synchronized/1` or `coinductive/1` directive appear textually on a source file after clauses for the declared predicates