let
print_statel stl =
Format
.print_string (
"States : \n"
) ;
List
.iter print_state stl