Can Specification Searches Be Useful for Hypothesis Generation? | Synapse