let acsl_null =  
  let name = check_acsl_name "\\null" in
    Fol.Tapp (name, [])