* added test case for parsing stove under synthesization.