Added VV's lock coupling list written in aspirational Starling syntax. To do this properly we need the ability to deal with uninterpreted predicate symbols.
Added VV's lock coupling list written in aspirational Starling syntax. To do this properly we need the ability to deal with uninterpreted predicate symbols.

septract/starling-tool,septract/starling-tool