Main Search Anal Fails Compilation