fix bug with premises in the editor

- statement are now kept properly when switching from a scheme to another