Java backend: added more assertions in SymbolicUnifier for defensive-coding
Java backend: gave up on incorporating cell-sorting; removed all cell-sorting related code again