How to get every clauses of a CNF formula in Z3

Question

like in the code below, Is there any function in Z3 to get all the clauses of a formula(as a CNF)?

x = Boolean(\'x\')
y = Boolean(\'y\')

f = And(x, Or(x,y),A