added more up-to-date users docu for cbmc analyses