Added the unit tests for bound analyzer.