Using AssumeNG and changing copyright header