refactored.
approximate_backbone, soft_backbone, instance_reduction is working.
refactor instance reduction.
bma working to after 25 times execution for a random set of solutions.
delete testing script at the end of bma.rb