fix error message in SR checking#1403

fblanqui wants to merge 11 commits into

Deducteam:masterDeducteam/lambdapi:masterfrom

fblanqui:srfblanqui/lambdapi:srCopy head branch name to clipboard