An extension to Marcus Kazmierczak's termgraph