Check for the occurrence of `synchronized/1` and `coinductive/1` directives after calls to the declared predicates when compiling entities