Remove cbmc.edit from the feature

because it is not needed