Trying to handle AIGER problems