(Arbitrary ArbBEnv): Use Map.fromList instead of custom stuff.
(Arbitrary ArbBEnv): Use Map.fromList instead of custom stuff.

rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat