e.g. converting traverseF(block, lambda(l1, <false>), false) should not just assume that the lambda is based on some manipulation of the block variable, but be prepared that it is a scalar constant