scala - Scala、Play フレームワーク、Specs2、Mockito、呼び出しの順序を確認する正しい方法は?

Question

このドキュメントによると、必要な呼び出しの順序を確認するには:

val m1 = mock[List[String]]
val m2 = mock[List[String]]

m1.get(0)
m1.get(0)
m2.get(0)

here was one(m1).get(0) then one(m1).get(1)

私のコードで

...
  val db = mock[Database]

  "The code" should {

    "Should do something" in {
      val id = "id"
      db.readUserByid(anyString) returns None

      val rv = api.login(id)

      there was one(db).readUserByid(id) then one(db).createUser(anyString)
    }
  }
...

エラーが発生する

値は org.specs2.matcher.MatchResult[Option[models.domain.user.User]] のメンバーではありません

そして警告

then は予約語になりました。識別子としての使用は非推奨です

Play フレームワーク 2.2.0、このバージョンの Play にバンドルされている Specs2、Mockito 1.9.5 を使用しています。

呼び出しの順序を確認するための情報が含まれている正しいドキュメントを指摘していただけますか?

どうもありがとうございました ：）