pure symbolic execution is running for integers only