removed some useless tests

Change-Id: Ie70d8d6cec7d8f0fc860826d67ed90ab55ed5820
rename of swtbot tests

Change-Id: Icc3f3b5465e6852d84ec1ab47ae817fb35a0b5b4
swtbot test for imports

Change-Id: I851b38327fa49ea7e4b64f08fa7998bf20a1742d
[issue 14]: Automatic import insertion does not always work

https://github.com/LorenzoBettini/xsemantics/issues/issue/14

Fixes #14

Change-Id: Ic8d4469cd9dd7dbfa326e422ccff1ecdb316335c
updated examples with imports before system definition

Change-Id: Ic5f2043cd78661d617e2271231014b5fd27db2c6