Java backend: fixed a bug in SymbolicConstraint#isMatching
minor fix
Java backend: moved partial evaluation of the defintion after macro expansion
Java backend: added regression tests for pattern-matching
Merge branch 'master' into unified-builtins2