code: func PropagateConstant(ctx sessionctx.Context, conditions []Expression) []Expression {
  	return newPropConstSolver().PropagateConstant(ctx, conditions)
  }
docs: // PropagateConstant propagate constant values of deterministic predicates in a condition.