. ../../testutils.sh

run --cg node caseBlock.idr
