Generating comprehension checking problems using mutation analysis compensating for shakyo-style learning defects: A case study on binary operators with evaluating its effectiveness