Getting rid of BV_DEFAULT_SIZE in the expression parser

Fixing the tests to support the new expression parser

git-svn-id: https://insight.labri.fr/svn/trunk@910 00316523-1ed1-4fdc-9313-76483a3f41dc
Fixing the tests to match with the new expression parser

Fixing tests

git-svn-id: https://insight.labri.fr/svn/trunk@911 00316523-1ed1-4fdc-9313-76483a3f41dc
Getting rid of BV_DEFAULT_SIZE in ConcreteExprSemantics.cc

git-svn-id: https://insight.labri.fr/svn/trunk@912 00316523-1ed1-4fdc-9313-76483a3f41dc
Removing unnecessary comment

git-svn-id: https://insight.labri.fr/svn/trunk@913 00316523-1ed1-4fdc-9313-76483a3f41dc