Function effective_statement_timeout 

pub fn effective_statement_timeout(
    guest: Option<Duration>,
    platform: Duration,
) -> Duration

What a statement runs under: the platform’s timeout, or the guest’s where it is shorter. A guest’s value below the platform’s floor stands, since the floor only keeps a nearly spent budget usable.