definedRewrite - reification function of rewrites in JavaX source code