fn is_terminal(block: &Block) -> bool
Return true if whatever the path we take, evaluating the statement necessarily leads to:
true