Updated the commands of running bound analyzer and modified the function
modifier of BoundAnalyzer and Analyzer.