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

check --alt-error-count 10 IfThenElse.idr
