- all attributes of abstract sdf productions are now removed removed. We
  should verify that this is indeed required
