sig
  val compute_syntactic :
    libc:bool -> Kernel_function.t -> Cil_datatype.Varinfo.Set.t
  val compute_semantic : libc:bool -> Cil_datatype.Varinfo.Set.t
end