Added minimal-assumption-set extractor extension