An Implementation of Variable Upper Bounds via SUB Methodology