Output warning if atom does not occur in any rule head

[rtaupe]

When I am developing answer set programs for Alpha, a common source of errors is that I have typos in predicate names or forget some occurances when renaming a predicate. This causes atoms using the wrong predicate name to be always false. It would really help if Alpha would output a warning in this case stating that an atom does not occur in any rule head.