(* The entry point from Deputy.  Calls Markptr, Solver *)
val inferKinds: Cil.file -> Cil.file