variable

fun variable(name: String): BooleanExpression<BVariable>