__group__,ticket,summary,component,version,type,owner,status,created,_changetime,_description,_reporter Milestone ,1,Lifting doesn't introduce capabilities.,SystemF2Effect,,lemma,benl,new,2013-01-28T10:20:49Z,2013-01-28T10:27:59Z,"In !WeakKiEnv / Case !XUse {{{ ~ mentionsCapT (TyCapRegion n) t1 ------------------------------------------ ~ mentionsCapT (TyCapRegion n) (liftTT 1 ix t1) }}}",benl