Function assertion_to_string 

pub fn assertion_to_string(expr: &AssertionExpr) -> String

Convert AssertionExpr back to string (ternary for if-then-else).