Middle Schema Slicing

All our work in this area is about end slicing. This is only a very special case. We need to develop a trace semantics of schemas for the general case.