added a context to the spec for CodemlResults