unrolling issue with PlaceHolderSynthesizer

[RobinDavid]

The PlaceHolderSynthesizer seem's not to properly replace placeholder variable during the synthesis process, on some use-cases. The resulting synthesized expression is thus completely wrong. I need to dig deeper.

[solitudecc]

Can it be repaired?

[RobinDavid]

Yes, definitely. I mention it here for the record, I will give it look when will have a minute.

[crackcm]

Is the bug fixed?

[RobinDavid]

No. Not yet.

[solitudecc]

Hello, can you add your telegram?

[RobinDavid]

Hello, can you add your telegram?

I don't have. You can DM me on Twitter if needed

[solitudecc]

thank you