refactored likely_eval code paths