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