fixing a bug at computeUpperBoundConstraint
adding some test files