introduce variable
comment by block: fix intersection inference