Fix SVACE defects: add checking higher bound