Function claim_is_stale 

fn claim_is_stale(
    mstore: &Store,
    origin: &str,
    defs: Option<&DefinitionStore>,
    uid: &str,
    c: &Claim,
) -> bool

Whether a claim can be shown to be stale: only the store that wrote it can say its agent is gone.