The implementation shouldn't rely on the existence of Payment Transaction for knowing if the Sale Invoice Transaction is payed or not.