Erkennen von Termstrukturen, Nullprodukt