excess solder subgroup of solder, 1 assertions