Update Lab2.krl