Vacuity Analysis for Property Qualification by Mutation of Checkers