Wrote boundary check generation to use LimistAnalyser class.