-
Andrei Paskevich authored
If a local function recursively calls its parent, we may not know its full effect at this moment. Therefore we must keep all user exceptional postconditions.
8e65a1d4
If a local function recursively calls its parent, we may not know its full effect at this moment. Therefore we must keep all user exceptional postconditions.