Method is_empty

tools/fuzz-gen/src/specifications/common.rs:313–315

(&self)

        Self::new(Vec::new())
    }
    pub fn is_empty(&self) -> bool {
        self.invariant.is_empty()
    }
}

/// Specification of a procedure.