Merge pull request diffblue#182 from diffblue/feature/initialisation_and_update_of_shadow_vars

SEC-13: Initialisation and update of shadow vars introduced to class types.

Author: marek-trtik