Added for-comprehension rule from wart remover