Added CulebraOptions and CulebraTestCase

 - Improved test generation