treating terms as constant functions on Props Fixes specific error
treating terms as constant functions on Props
Fixes specific error

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround