factor out _unevaluated_Add for testing purposes