anchor.diff:  		       {Mod,system_get_state},{throw,fail}},_}} ->
   		 ok
   	 end,
  -    ok = sys:terminate(Mod, normal),
  +    ok = sync_terminate(Mod),
       {ok,_} = Mod:start_link(4),
       ok = case catch sys:replace_state(Mod, fun(_) -> {} end) of
   	     {} ->
  
positive.code: 	     {'EXIT',{{callback_failed,StateFun,{error,fail}},_}} ->
  		 ok
  	 end,
      ok = sys:terminate(Mod, normal).
  
  %%%%%%%%%%%%%%%%%%%%
  %% Dummy server
  
negative.code: 		       {Mod,system_replace_state},{throw,fail}},_}} ->
  		 ok
  	 end,
      ok = sync_terminate(Mod),
      {ok,_} = Mod:start_link(4),
      StateFun = fun(_) -> error(fail) end,
      ok = case catch sys:replace_state(Mod, StateFun) of
  