minor changes
minor changes

Signed-off-by: Mauro de Freitas <b1ba723cd2f7e639d163533165a905bfe8f33d44@gmail.com>

EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel