Make SCEV's brute force analysis stronger in two ways. Firstly, we should be