Changed PactProgram to not instantiate plan multiple times.
Removed obsolete reflection visitor.
Cleaned up context checker.
Combiner filled with global and local properties.
Fixed bugs in JSON dump generator.
Added tests for JSON dump generator.