Adding invariants for eg_quad_tree.e
Replace `check then' with simple condition and simple check assertion.