[TA75][TA76] Relation Syntax Verification: Add ValidWhile test cases