Sanity checks to make sure all operations are implemented
unused imports
Merge pull request #114 from yushan87/check-all-op-implemented

Sanity checks to make sure all operations are implemented
changes to the ProgramDotExp