fix issue 10721 - ICE with constructor with postcondition
Merge pull request #2390 from hpohl/10721

[REG2.064a] fix issue 10721 - ICE with constructor with postcondition