bug fixes in stub builder and analyzer due to the newly introduced use of DSV