Creates a novel Clause which is a copy of the current one, except that argument is inserted into head's arguments at position index.
if index is out of head's argument bounds