created symbolic execution unit test