modify ExecuteInstruction to take params, and make add literal tests