Fix bug where the `number_of_clauses/1` property value would not be correct for coinductive predicates define also by facts