Fixed OR for cases like 0001 | 0010 should give 0011 and not 11
Added ALL_SUBSET_OF