Delete ssr_interpretation.v