forth: add assertions