DeclassificationNode

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