Eliminate superfluous exclusive_scan declaration in synopsis