fix the duplicate sem in api by name (this is a hack cuz I could not figure out how to write the code for the general remove dups issue)