__group__	ticket	summary	component	version	type	owner	status	created	_changetime	_description	_reporter
	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