bool 표현식으로부터 어설션을 생성합니다.