code: public static Node createInCondition(Variable var, Node cond) {
  		checkNode(cond, MEMBER);
  		// make sure the member is part of the variable
  		Member member;
  		switch (cond.getNodeType()) {
  
  			case MEMBER:
  				member = cond.cast();
  				break;
  
  			default:
  				throw new FuzzerException(cond + ": unexpected IN condition");
  		}
  		if (!var.haveMember(member.getName())) {
  			throw new FuzzerException(member.getName() + ": not a member of " + var.getName());
  		}
  		return new Condition(Node.Type.IN, var, cond);
  	}
docs: Create an "IN" condition.
  <p>
  @param var  is the variable
  @param cond is either a member or a hedging condition
  @return the in condition