work-around broken analysis; when realizable, only do report if aut is trivial