They can move especially when they are outside your "lanai".
I had to look that silly word up. I guess using "porch" would make them sound too much like a southern cracker.
AND everyone knows you do not mix alligators with verandas. Just not proper
Al lanai is not a porch. It typically the screen room around your pool. If no pool it’s a screen room with some sort of roof.