Splitting up pact specs into separate files