Revert "Allow more than one formula pattern variable in patterns"

This reverts commit 9f2dbfb7d2bfb076c1522c12a4b9bdc0d446aedb.
handle matching * expressions at any level in formulas