Implementing and Evaluating Candidate-Based Invariant Generation