added reverse rewrite map to closure models