Question about the optimized pcode extracted from HighFunction

[M4tsuri]

Hello, I'm trying to build a static analysis tool with ghidra as backend. And I need pcode-level basic blocks. Now I'v got some questions. I would be grateful if anyone can help me:

1. Is it true that the optimized pcode generated by decompiler is equivalent (or have no information loss) compared with the raw pcode?
2. Is it true that the output varnodes of all INDIRECTs associated with an instruction is the over-approximation of all varnodes that may be affected by the execution of this instruction? I my understanding, only CALL/CALLIND instructions can have side affects because we need to take the execution of their corresponding subroutines into consideration. So INDIRECT instructions only appear before CALL/CALLIND instructions.

Thanks.