Function boolean_constant_fold_or 

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

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