replaced likely_evaluated_expression with a more general likely_result