play with reachability axioms
fix problem with set union applied to single set