Added support for checking the effects of constructor initialization lists.
+ Some minor code cleanup