Motivation We want to avoid redundant code by removing unnecessary self keywords Modifications Removed unnecessary self keywords Result No errors, ./scripts/soundness.sh also passed. Follow t...