add comments to the adequacy proof

2 jobs for !847 with adequacy_comments in 7 minutes and 1 second (queued for 5 seconds)
merge request