.\hintco.exe -s .\case_study_double_loop.xmi -o output -d -n 1 -noExit