ksmt-core/io.ksmt/KContext/and

and

infix fun KExpr<KBoolSort>.and(other: KExpr<KBoolSort>): KExpr<KBoolSort>