Sdd pumping

This pull request includes enhancements to the SDD translator related to pumping configurations.