Demonstration Informed Specification Search