get_implied_return
int get_implied_return(struct expression *expr, struct range_list **rl);
if (!get_implied_return(expr->right, &rl))
if (get_implied_return(expr, &rl)) {
if (get_implied_return(expr, &rl)) {