Describir: Simulation-Based Testing of the Traffic Rules Requirements for Autonomous Vehicles at Intersections