Tests if all elements in bs are allowed by an element in as. Allowed also means that no entry is present in as
See Implementation
Tests if all elements in bs are allowed by an element in as. Allowed also means that no entry is present in as