added heightmap test
fixed the dReal bug..