Is this jargon for some lava-derived rock like obsidian or basalt? Because I'm fairly sure even extremophile bacteria, never mind any kind of tree, wouldn't be able to grow in actual (ie molten rock) lava.