Optimize aiger before unrolling