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

check Rewrite.idr
