Modular Rewriting Semantics in Practice