if (state.get(b.getFormalIndex())!=null) { world.getMessageHandler().handleMessage(MessageUtil.error( "Ambiguous binding of type "+type.getExactType().toString()+".  Use one args(..) per matched join point", getSourceLocation())); } else { state.set(b.getFormalIndex(), var); }
state.set(b.getFormalIndex(), var);
	protected Test exposeStateForVar(Var var,TypePattern type, ExposedState state, World world) {		if (type instanceof BindingTypePattern) {			BindingTypePattern b = (BindingTypePattern)type;			if (state.get(b.getFormalIndex())!=null) {				world.getMessageHandler().handleMessage(MessageUtil.error(                  "Ambiguous binding of type "+type.getExactType().toString()+".  Use one args(..) per matched join point",                  getSourceLocation()));			} else {				state.set(b.getFormalIndex(), var);			}		}		TypeX myType = type.getExactType(); //should have failed earlier 				return Test.makeInstanceof(var, myType.resolve(world));	}