Flow-sensitive optional unwrapping