added help to some CBMC analyses configurations