It is purely a research work related to type inferencing in flow sensitive as well as polymorphic languages