code: public ACallObjectExpStmIR consInstanceCallStm(STypeIR instanceType,
  			String instanceName, String memberName, SExpIR... args)
  	{
  		AIdentifierVarExpIR instance = new AIdentifierVarExpIR();
  		instance.setName(instanceName);
  		instance.setType(instanceType.clone());
  		instance.setIsLocal(true);
  
  		ACallObjectExpStmIR call = new ACallObjectExpStmIR();
  		call.setType(new AVoidTypeIR());
  		call.setFieldName(memberName);
  		call.setObj(instance);
  
  		for (SExpIR arg : args)
  		{
  			call.getArgs().add(arg);
  		}
  
  		return call;
  	}
docs: TODO: This actually forces the return type to be 'void'. Maybe generalise?