ts.opt:008: Error: func `ts.representation of any st/0'/1 multiply defined. ts.int0:010: Here is the previous definition of func ts.int0:010: `ts.representation of any st/0'/1. ts.opt:008: Error: func `ts.representation of ground st/0'/1 multiply defined. ts.int0:010: Here is the previous definition of func ts.int0:010: `ts.representation of ground st/0'/1. ts.opt:008: Error: func `ts.representation to any st/0'/1 multiply defined. ts.int0:010: Here is the previous definition of func ts.int0:010: `ts.representation to any st/0'/1. ts.opt:008: Error: func `ts.representation to ground st/0'/1 multiply defined. ts.int0:010: Here is the previous definition of func ts.int0:010: `ts.representation to ground st/0'/1.