Simplify compilation of coinductive predicates (work in progress)