Implement the new abstractEvaluateAIG method of the IsAIG class.
Fix a bug where the output literals of networks read from file were in reverse order.