Output inductive invariant in PDR
Multi-node example and native input example
Fixed XML attribute for input and output streams
Fixed attribute name and indentation
Merge pull request #95 from chsticksel/develop

XML output