Simplifying reasoning about objects with Tako. - Gregory Kulczycki; Jyotindra Vasudeo (SAVCBS@FSE, 2006)