These test cases are copied from the hana project: https://sourceforge.net/projects/sim-sim/