There are some places where the lava seems to be part of the background, but yet in general Tornados can remove it. I am pretty sure it is intended since laa is a surface effect and tornado is supposed to remove surface effects.