Optionally reject code containing singleton variables

[jvoigtlaender]

For example, a clause „p(X,f(Y)) :- g(X).“ would be rejected, because (and that should be given as feedback) Y could be replaced by wildcard.