assert_source_completions pvs