[prove] context bug with comments

The following discussion from !64 (merged) should be addressed:

• @jorge started a discussion: (+8 comments)

  Et un petit bug ici (le commentaire en vert)