That is not a primary goal. There was a discussion about "assume" semantics, but that is not one of the standardized contract evaluation semantics.