Rename Lab3.krl3 to Lab3B.krl3