Update - when invoke a method make all object's field we track to
[-INF,INF].
Added test for object fields.