Daniel Murphy:
Sure, we could add a new construct (ie 'assume') to the language, and use that to pass information. But are they really different?
Conflating the two concepts with a single name is a mistake that will cause troubles. Different features need different names or different syntax.
Bye, bearophile