debug simflip predicates for new owl file