A type inference engine for javascript