gen_fun::add: context of sum should be union of contexts of the terms