Case Study in a Synthesis Compiler Test System