Updated the teste cases for bound analyzer.