pub fn parse_invariant(input: &str) -> Result<Invariant>
Parse a complete invariant definition string.