Further unit tests, and added an edge case to ATSysEquiv.