Plus combines two sets of coins CONTRACT: Plus will never return Coins where one Coin has a 0 amount.
(coinsB Coins)
source not stored for this graph (policy: none)
no test coverage detected