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

check UnifyPiInfo.idr
check Examples.idr
