Table constant_entry_level_number

predicate constant_entry_level_number(@constant_entry id, int idx, int level_number)