AssertionNode

fun AssertionNode(condition: AtomicExpressionNode, sourceLocation: SourceLocation)