can you reword this to make it clearer? something like: sort checks are not implemented as rewrite rules in Java, so we need to precompute the sort of terms.