Boolean 式からアサーションを作成します。