- Made rewriting of specifications optional.