update copyright information
rename mutator to "argument propagation"