contain k@(Concat a b) Epsilon = (a `contain` Epsilon && b `contain` Epsilon)
contain k@(Concat a b) Epsilon = (a `contain` Epsilon && b `contain` Epsilon)
contain k@(Concat a b) Epsilon = (a `contain` Epsilon && b `contain` Epsilon)