erratic behavior in symbolic package

[Stephen Siegel]

Using revision 952, I am getting wrong answers from symbolic package. For example:

Old pc : 0<=X0*-1+3&&0<=X0
Guard : 0<=X0+-1
and of above: 0<=X0*-1+3&&0<=X0

is generated by the following code:
valueFactory.setAssumption(valueFactory.symbolicValue(true));
System.out.println("Old pc : "+pathCondition);
System.out.println("Guard : "+guardValue);
System.out.println("and of above: "+valueFactory.and(pathCondition, guardValue));

[ywei]

Fixed. It turned out that the real source of this bug is in CVC3TheoremProver.