add TODO tags for fails/FORALL clause warnings