corrected bug un alternative constraint; created skeleton for search strategy tests