print unsupported for logics in all moes
print unsupported for logics in all moes

Signed-off-by: Nikolaj Bjorner <0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com>

dstaple/z3test,dstaple/z3test,dstaple/z3test,dstaple/z3test