Removed a debugging print statement in StoreTerm