* Added better assertions for existing html concolic tests
 * Added new test