anchor.diff:  %%
   
   assert_type(WantedType, Term, Vst) ->
  -    assert_type(WantedType, get_term_type(Term, Vst)),
  -    Vst.
  +    assert_type(WantedType, get_term_type(Term, Vst)).
   
   assert_type(Correct, Correct) -> ok;
   assert_type(float, {float,_}) -> ok;
  
positive.code: 
  assert_fls(Fls, Vst) ->
      case get_fls(Vst) of
  	Fls -> Vst;
  	OtherFls -> error({bad_floating_point_state,OtherFls})
      end.
  
  
negative.code: bsm_save(Reg, {atom,start}, Vst) ->
      %% Save point refering to where the match started.
      %% It is always valid. But don't forget to validate the context register.
      bsm_validate_context(Reg, Vst),
      Vst;
  bsm_save(Reg, SavePoint, Vst) ->
      case bsm_get_context(Reg, Vst) of
  