Example: if-false