ブール式または関数からアサーションを作成します。