Function spec_unwrapCopy item path

pub open spec fn spec_unwrap<T>(option: Option<T>) -> T

option is Some,

{ option->0 }