File: ../qualif/simpleac.trs, error: Unsupported type of TRS
Couldn't open file <60>: 60: No such file or directory