Make sure that duplicate UFs are not added in [extend_both_tuples](https://github.com/BoiseState-AdaptLab/omega/blob/main/code_gen/src/parser/AST.cc#L365)
