(programPoint: StringAdd).self
(programPoint: StringFormat).self
(programPoint: ArrowAssoc[ProgramPoint[a]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(programPoint: Ensuring[ProgramPoint[a]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Program points are locations in the program where we want to assert certain properties through data flow analysis, e.g. basic blocks.