Milestone 1: genMCCGB_topdown procedure generates minimal comprehensive Groebner basis for all the test cases