DeclassificationNode

fun DeclassificationNode(expression: AtomicExpressionNode, fromLabel: LabelNode?, toLabel: LabelNode, sourceLocation: SourceLocation)