anchor.diff:      LOGICAL, INTENT(OUT)            :: is_inadmissible
   
       INTEGER(our_int), INTENT(IN)    :: mapping_state_idx(num_periods, num_periods, num_periods, min_idx, 2)
  -    INTEGER(our_int), INTENT(IN)    :: states_all(:, :, :)
  +    INTEGER(our_int), INTENT(IN)    :: states_all(num_periods, max_states_period, 4)
       INTEGER(our_int), INTENT(IN)    :: period
       INTEGER(our_int), INTENT(IN)    :: k
   
  
positive.code: 
      INTEGER(our_int), INTENT(IN)    :: mapping_state_idx(num_periods, num_periods, num_periods, min_idx, 2)
      INTEGER(our_int), INTENT(IN)    :: states_number_period(:)
      INTEGER(our_int), INTENT(IN)    :: states_all(:,:,:)
  
      REAL(our_dble), INTENT(IN)      :: periods_payoffs_systematic(num_periods, max_states_period, 4)
      REAL(our_dble), INTENT(IN)      :: periods_emax(num_periods, max_states_period)
  
negative.code:     REAL(our_dble), INTENT(OUT)     :: total_payoffs(:)
  
      INTEGER(our_int), INTENT(IN)    :: mapping_state_idx(num_periods, num_periods, num_periods, min_idx, 2)
      INTEGER(our_int), INTENT(IN)    :: states_all(num_periods, max_states_period, 4)
      INTEGER(our_int), INTENT(IN)    :: period
      INTEGER(our_int), INTENT(IN)    :: k
  
  