Function resolve 

pub fn resolve(
    v: &Value,
    context: &Constraints,
    budget: &mut Budget,
) -> OpResult<Value>

Snapshot a value under this world’s posterior without mutating aliases.