Use hidden attribute to hide temporary variables created by CBMC

https://github.com/peterschrammel/eclipse-cbmc/issues/41