CM: add assertions lib