bug identified in pr04 search strategy caused by assoc. rules. see comments.