Add basic assertions for the concolic tester