[Issue #3] if read-string fails, then jsut use the string itself
[Issue #2] Only report on assertions that look like (= 1 2)