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

check CanElabType.idr
check StillCantEscape.idr
