testmaxima_inforeq_test
