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
Merge pull request #113 from yushan87/ProgramDotExp

changes to the ProgramDotExp