Module `Backend.Devirtualizer`

Simple devirtualization pre-analysis using a flow-sensitive tracking of dynamic classes

val process : Summary.t -> IR.Tenv.t -> unit: Run the devirtualization pass by replacing some virtual calls by resolved calls