Fully Automated Shape Analysis Based on Forest Automata