let check_acsl_name name =
  if name.[0] == '\\' then
    ("_"^(String.sub name 1 ((String.length name) - 1)))
  else if why_keyword name then ("user_"^name) else name