i-bem: regression test for custom predicates