remove typecheck from analysis run