aco: validate uninitialized operands