testgen: fixed a NPE
Java backend: fixed a bug introduced by me, namely inconsistent return values of SymbolicConstraint.Equality#hashCode()
testgen: minor: printed function rules for debugging purpose as well
Java backend: added TODO comment for handling attribute [owise] when applying rules for user-defined functions