interval analysis update 2

1. Fixed the addition and multiplication methods.
2. Tested with the example program
TODO:
1. Boolean
2. Worklist