fix bug in the argument creator

- 'add premise' was not working