Add method to determine name of symbols in Aiger files
Integrate new unrolling method and provide traces