refactor argument controllers
fix bug in the argument creator
remove debug statements
fix bug in the layout
do not make the selection of 'scheme' mandatory
fix bug in the argument creator

- 'add premise' was not working
fix bug in the argument creator

- argument without scheme do not receive an 'undefined' scheme
small changes
swap macgine WIP
swap machine WIP