For what it’s worth, I’ve been separating out the code for allowing predicate relaxation so that it could be used with other packages, like Turing. It can actually be implemented very elegantly with Cassette, but Cassette still has performance issues.
2 Likes