fic ce2a307 bad adds in proof

    uncomment __main__ part
    put printing of cases in function
fix leftmost right graph

    remove mid-moves, ie only keep surroundings of leftmost robots
move commented section in new tex file (blocks)
add section of multiple robots

    add 2 prop and prove one of them