tactic.rcases_patt_parse_hi' source