cleaned up comments in softwareverification