assert_source_completions tac