multiple return statements cause missing postcondition validation

class BetterAccount extends Account {
    
    BigDecimal withdraw( BigDecimal amount )
    {
        if ((balance + frame) < amount) {
          return 0.0
        }
        
        balance -= amount
        return amount
    }
    
    BigDecimal getFrame() {
        return 100.0
    }
}