Verification · Analysis incomplete · SquireCheck