Function parse_sva 

pub fn parse_sva(input: &str) -> Result<SvaExpr, SvaParseError>

Parse a subset of SVA text into an SvaExpr.

Supports: signals, $rose(), $fell(), s_eventually(), !(), &&, ||, ==, |->, |=>.