wrong cyclicity classification for MSA, RMSA, MFA, RMFA when rule contains constants

[CerielJacobs]

Using the rule-set

P(\,X,V) :- P(\,\,X)

and empty EDB.conf, since constants are rewritten to '*', this ruleset should not be marked MSA, RMSA, MFA, RMFA.