Minor simplification to the generation of coinductive predicate auxiliary clauses