Modified AIG regression test loading to load all available regression
tests automatically
Added test for main function