swa: trigger of Predicate Abstraction                                                                                 “λαˮ
 (over variables of semantic types <e>, <e,t>, <v,t>, <i>, <d>, resulting in properties of type <e,t>, <<e,t>,t>, <<v,t>,t>, <i,t>, <d,t>)