anchor.diff:        (list (compile-ast
   	     (cleavir-ast:index-ast ast)
   	     (context (list temp2)
  -		      (list (make-instance 'cleavir-ir:t-aref-instruction
  +		      (list (make-instance 'cleavir-ir:simple-t-aref-instruction
   			      :inputs (list temp1 temp2)
   			      :outputs (results context)
   			      :successors (successors context)))
  
positive.code: 	       (cleavir-ast:value-ast ast)
  	       (context
  		(list temp3)
  		(list (make-instance 'cleavir-ir:t-aset-instruction
  			:inputs (list temp1 temp2 temp3)
  			:outputs '()
  			:successors (successors context)))
  
negative.code:   
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Compile a SIMPLE-T-ASET-AST
  
  (defmethod compile-ast ((ast cleavir-ast:simple-t-aset-ast) context)
    (check-context-for-no-value-ast context)
    (let ((temp1 (make-temp))
  	(temp2 (make-temp))
  