debugging symbolic nucleon manipulations