LOOP_INVARIANT_REDUNDANTLY

RegularExpression Id.