pub fn extract_ssa_id(&self) -> Option<MuID> {
        match self.v {
            TreeNode_::Value(ref pv) => {
                match pv.v {
                    Value_::SSAVar(id) => Some(id),
                    _ => None
                }
            }
            _ => None
        }
    }
/// extracts the MuID of an SSA TreeNode
/// if the node is not an SSA, returns None
extracts the MuID of an SSA TreeNode
if the node is not an SSA, returns None
extracts the MuID of an SSA TreeNode if the node is not an SSA returns None
pub fn extract_ssa_id(&self) -> Option<MuID> {
        match self.v {
            TreeNode_::Value(ref pv) => {
                match pv.v {
                    Value_::SSAVar(id) => Some(id),
                    _ => None
                }
            }
            _ => None
        }
    }
pub fn extract_ssa_id ( & self ) -> Option < MuID > { match self . v { TreeNode_ :: Value ( ref pv ) => { match pv . v { Value_ :: SSAVar ( id ) => Some ( id ) , _ => None } } _ => None } }
extracts the MuID of an SSA TreeNode
if the node is not an SSA, returns None
extracts the MuID of an SSA TreeNode if the node is not an SSA returns None
&self
&self