A julia package for representing and manipulating model semantics - View it on GitHub