Add getSymbol method to Aiger module

Finds out the usage of a variable in the aiger file
Try new unrollment strategy
Print unrollment