Started development of better assertions for concolic tests