[ibr-093]-If there is a paid amount (ibt-180) then total paid amount (ibt-113) MUST exist.
ibr-093
cac:PrepaidPayment[1]
exists(../cac:LegalMonetaryTotal/cbc:PrepaidAmount)