#!/bin/bash

tmp=$(tempfile -s .trs)
reduceTRS 5 z3 $1 > $tmp
csi.sh $tmp
rm -r $tmp