1. integrate pre-analysis to new scuba; 2. previous field to type mapping is unsound for interface, fix it.