첫 조건이 참이면 뒤 조건과 fallback은 평가하지 않는다.
calls = 0
관찰 상태
present = true
branch fixed
supplier.get 미호출
short-circuit
expected
핵심: 호출 횟수가 기능 요구라면 counter나 fake dependency로 평가 경계를 검증한다.