FF specs to integer based boolean predicates