Corrected a test case that was not correctly converted from whilelang syntax to Wyscript syntax.