Computes sum a+b, assuming that |a|>=|b|. Puts result in x and error in y.
(double a, double b, Two t)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected