pub fn is_statically_known(&self) -> bool {
        use Offset::*;
        match self {
            Field(..) => true,
            Global(..) // Note: even if `g.is_statically_known()`, we should return
		// false here because `g` will always have a successor field that
		// is an offset determined at runtime
		| VectorIndex => false,
        }
    }
/// Return true if this offset is the same in all concrete program executions
Return true if this offset is the same in all concrete program executions
Return true if this offset is the same in all concrete program executions
pub fn is_statically_known(&self) -> bool {
        use Offset::*;
        match self {
            Field(..) => true,
            Global(..) // Note: even if `g.is_statically_known()`, we should return
		// false here because `g` will always have a successor field that
		// is an offset determined at runtime
		| VectorIndex => false,
        }
    }
pub fn is_statically_known ( & self ) -> bool { use Offset :: * ; match self { Field ( .. ) => true , Global ( .. ) // Note: even if `g.is_statically_known()`, we should return // false here because `g` will always have a successor field that // is an offset determined at runtime | VectorIndex => false , } }
Return true if this offset is the same in all concrete program executions
Return true if this offset is the same in all concrete program executions
&self