anchor.diff:                                   sophia_state,
                                    sophia_spend,
                                    sophia_oracles,
  +                                 sophia_maps,
                                    sophia_fundme ]}
       , {store, [sequence], [ create_store
                             , update_store
  
positive.code: 
      ok.
  
  %% The crowd funding example.
  sophia_fundme(_Cfg) ->
      Funded = #fundme_scenario{
          name     = funded_scenario,
  
negative.code:         , sophia_state/1
          , sophia_spend/1
          , sophia_oracles/1
          , sophia_maps/1
          , sophia_fundme/1
          , create_store/1
          , update_store/1
  