Properties, assignments and guards added for rovers case study