memory element inference from variable

[vasim98]

Hello
What are the rules of a generic synthesizer to infer memory element (register) from
a local variable used inside the process?

Thanks
Waseem