1unknown: good: PASS 2unknown: duplicate lhs: PASS 3unknown: numerical lhs: PASS 4unknown: symbolic rhs: PASS 5unknown: uninitialized: PASS 6unknown: PASS=5 FAIL=0 7