Superior Method to Branch Prediction in Security Properties