Check Pull Up and Push Down Objects #8
Description
Problem
The pull up and push down refactoring objects might be missing additional information necessary to successfully invert and replay after the simplification step.
Solution
Add copies of method signatures.