Testing interprocedural analysis on constructors