Detect more errors in synthesizer