WyC: updated test case for #325
WyIL: renamed Code.ELEMOF to be Code.IN for #332