Added VerificationBehaviors.scala