InsecureControlFlowError
fun InsecureControlFlowError(node: HasSourceLocation, nodeLabel: Label, pc: Label, context: FreeDistributiveLatticeCongruence<PrincipalComponent>)
Parameters
node
AST node influenced by control flow.
nodeLabel
Security label of the node.
pc
Security label assigned to control flow.