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

check DeterminingData.idr
check DeterminingRecord.idr
