modifying test to also expose bug visiting the parameter of implicit copy constructors
adding functionality to add default effect summaries when one is not explicitly provided.
adding test for default effect summary annotation (for checking writes to globals)