function b = contains_dfsa(A,B)
% does L(M1) contain L(M2)
% set-theoretic fact: A contains B <==> B \ A = 0

notA = negate_fsa(A);
BlessA = intersect_dfsa(notA,B);

b = empty_fsa(BlessA);
return