Fixed warning in aiger.c
Fixed up warnings. Cleaned up espresso