Table cil_sealed

predicate cil_sealed(@cil_member id)