check for trivial aut after compilation, not just during analysis (may severely slow things down for large auts)