Formal-Req Description Checker

Checks that a formal requirement in HLL or a similar notation says the same thing as its informal description.