Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations