get_allocation_recipe_from_call
sname = get_allocation_recipe_from_call(expr->right);
return get_allocation_recipe_from_call(expr);