Add functionality for a new tag allow_duplicates

[kmukherji]

Add functionality for a new tag allow_duplicates where if False , multiple variables in the body cannot be grounded by the same constant simultaneously. Currently, it works like allow_duplicates=True always.