commented out exec_count check in MDA solver test