improved multiple `default()` guards conflict detection, updated tests.