- ASSERT-CONSP - ASSERT-LISTP - ASSERT-ALIST - ASSERT-PLIST Maybe predicated like ASSERT-PROPER-LIST, ASSERT-CIRCULAR-LIST, ASSERT-DOTTED-LIST could be useful.