refactoring SprotoTypeExtract
rebuild testcase