Simplify compilation of coinductive predicates