BlockGeneration: trying IFF operator