Removed obsolete file.
Test for the + operator in regular expression matching of list.
Fixed problem with no grounding conditions being generated for lists
after an element got inserted.