let get_output_if (fileName : string) : string = if(Filename.check_suffix fileName ".hlpsl") then (temp_dir^(Filename.basename ((Filename.chop_suffix fileName ".hlpsl")^".if"))) else (temp_dir^(Filename.basename (fileName^".if")))