Revert "Proper reporting of error two"
Revert "Proper reporting of error two"

This reverts commit 4c22f545fb53bf5a9b74701b337f8f49fe863d7f.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin