toTRS

fun toTRS(): TRS4