. ../../../testutils.sh

check ResugarTerm.idr
run ResugarTerm.idr
