lively.ide.tests.SCBTests: removed two tests which are obsolete due to the missing comma in propertyDef FileFragments