Implement abstract writer pattern for Context and ImplicationalSystem
Merge pull request #83 from chdemko/master

Implement abstract writer pattern for Context and ImplicationalSystem