Try using klee to test expr parser

Attempt should be considered failing since it takes too much time to run all 
tests even with 12 symbols and klee have not found anything so far (except for 
some test which failed due to klee running out of its memory limit).