mcs_finder: keep track of in which validation run violation was found