let
get_prop_scope_at_stmt kf stmt annot = get_prop_scope_at_stmt kf stmt annot