Added support for '0, 0, 0 | 0, 0, 0, 0 | 0 0 0 | 0 0 0 0' types. Added an assume function. Updated tests.