core flow: do lowering for sindices#