Postgresql Function Parameter Default Definition