diff --git a/hub/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing/success_case.lisp b/hub/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing/success_case.lisp
index 64ccaf67..40d0c5d1 100644
--- a/hub/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing/success_case.lisp
+++ b/hub/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing/success_case.lisp
@@ -99,10 +99,6 @@
                                                                                              (*    PHASE_ECMUL_RESULT            (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECMUL))
                                                                                              (*    PHASE_ECPAIRING_RESULT        (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECPAIRING))))
 
-(defun    (precompile-processing---ECADD_MUL_PAIRING---return-data-reference-size)     (+    (*    ECADD_RETURN_DATA_SIZE        (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECADD))
-                                                                                             (*    ECMUL_RETURN_DATA_SIZE        (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECMUL))
-                                                                                             (*    ECPAIRING_RETURN_DATA_SIZE    (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECPAIRING))))
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Miscellaneous-row i + 3 ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@@ -135,6 +131,10 @@
                                                                                     ;; phase                                                                                ;; phase
                                                                                     )))
 
+(defun    (precompile-processing---ECADD_MUL_PAIRING---return-data-reference-size)     (+    (*    ECADD_RETURN_DATA_SIZE        scenario/PRC_ECADD    )
+                                                                                             (*    ECMUL_RETURN_DATA_SIZE        scenario/PRC_ECMUL    )
+                                                                                             (*    ECPAIRING_RETURN_DATA_SIZE    scenario/PRC_ECPAIRING)))
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;
 ;; Context-row i + 4 ;;