Changed member variable access modifiers to private where trivially possible
Made members of pair private
Changed member variables to be final where trivially possible
Merge pull request #21 from runtimeverification/accessModifiers

Change access modifiers to private or final where trivially possible