Extend InvariantCondition to detect last commit's bug
New Check: IfDoWhile