Extending SEMAT kernel to deal with developer error