Mining version histories to verify the learning process of Legitimate Peripheral Participants