INTERNAL: Do not use.
Provides an SSA implementation based on “pre-basic-blocks”, restricted to local scope variables and fields/properties that behave like local scope variables.
The logic is duplicated from the implementation in
being an internal class, all predicate documentation has been removed.
The default C# QL library.