comparison of two java strings with z3