This package provides intraprocedural type inference over the SSA form.