condition

@Serializable(with = BooleanExpressionSerializer::class)
val condition: BooleanExpression<BVariable>