-{ cbi_cbi : @StrongAltConInContext n tc Γ avars
-; cbri_freevars : Tree ??(LeveledHaskType Γ)
-; cbri_judg := cbi_Γ cbi_cbi > cbi_Δ cbi_cbi
- > (mapOptionTree weakLT' cbri_freevars),,(unleaves (vec2list (cbi_types cbi_cbi)))
+{ pcb_scb : @StrongCaseBranch n tc Γ avars
+; pcb_freevars : Tree ??(LeveledHaskType Γ)
+; pcb_judg := scb_Γ pcb_scb > scb_Δ pcb_scb
+ > (mapOptionTree weakLT' pcb_freevars),,(unleaves (vec2list (scb_types pcb_scb)))