anchor.diff:  
   
   
  -        endif elttype
  +        endif 
   
   
   
  
positive.code:             end if
  
  
          else elttype
              
              !      __   __ 
              !    ./  \./  \.
  
negative.code:         ! **however, the values of P__ etc will ideally be reference-determinant dependent, what is the best way to order this sequence?**
  
  
          if(choose_double_elt_type <= Po_ ) then
              !     _
              !    / \
              !    \./____.
  