Generalizing the copying of data from Factory to Occurrence
Adding the ability to recognize that a variable occurrence is part of an assignment statement
Some cleanup and bugfix in ConvertVarToAttribute
Enable ConvertVarToAttribute to find a location for the new attribute when there are no existing ones