Static analysis of unbounded structures in object-oriented programs door