atom can be unfixed in reaction
before MCS
module VersatileDiamond
simplification of specs tree by using Hanser's algorithm