Correctness and Completeness of Programming Instructions for Traffic Circulation