Function parse_assertion 

pub fn parse_assertion(raw: &str) -> AssertionExpr

Parse a raw assertion string into an AST. Falls back to Raw if parsing fails.