Generating Comprehension Checking Problems Using Mutation Analysis Compensating for Shakyo-Style Learning Defects: A Case Study on Binary Operators with Evaluating Its Effectiveness