Java backend: avoided non-deterministic Object.hashCode()
Java backend: disabled strategy language in computeRewriteSteps() until its non-deterministic behaviour is fixed