Rename duplicate endpoints

Duplicate endpoint names cause non-deterministic generation of method names in LabraDOOR. We need to make sure that two methods never have the same name to prevent this.