Stratagem - DD- and rewriting strategies- based model checker