Function boolean_constant_fold_and 

fn boolean_constant_fold_and(constant_lhs: ExprImpl, rhs: ExprImpl) -> ExprImpl

boolean_constant_fold_and takes the left hand side and right hands side of a Type::And operator. It is required that the the lhs should always be a constant.