Table cil_static

predicate cil_static(@cil_member id)