anchor.diff:      false;
   resumable(IsResumable) ->
       IsResumable.
  +
  +reusable_options(#ssl_options{fail_if_no_peer_cert = true,
  +			   verify = verify_peer}, Session) ->
  +    (Session#session.peer_certificate =/= undefined);
  +reusable_options(_,_) ->
  +    true.
  
positive.code: 	[[Id, _]|_] -> Id
      end.
  
  is_resumable(_, _, false, _, _, _, _, _) ->
      {false, undefined};
  is_resumable(SuggestedSessionId, Port, true, ReuseFun, Cache,
  	     CacheCb, SecondLifeTime, OwnCert) ->
      case CacheCb:lookup(Cache, {Port, SuggestedSessionId}) of
  	#session{cipher_suite = CipherSuite,
  
negative.code: 	    case resumable(IsResumable)
  		andalso (OwnCert == SessionOwnCert)
  		andalso valid_session(Session, SecondLifeTime)
  		andalso reusable_options(Options, Session)
  		andalso ReuseFun(SuggestedSessionId, PeerCert,
  				 Compression, CipherSuite)
  	    of
  