tactic.rcases_patt_parse' source