removed initial map for start instruction
formatting
extracted PseudocodeVariableDataCollector
made PseudocodeVariableDataCollector know about variables

(not about abstract data)
rename to kt file
rewrote PseudocodeVariableDataCollector to kotlin
minor: added @NotNull annotation
formatting
rename constants
 LAST_READ -> READ
 LAST_WRITTEN -> WRITTEN_AFTER_READ
restructured control flow tests
removed duplication of pseudocode in tests
for local functions
extracted CFGraphToDotFilePrinter
refactoring: extracted methods
computeInstructionColumnWidth,
computeNextInstructionsColumnWidth
removed unused methods
refactoring: extracted 'checkPseudocode'
refactoring: added 'getInstructionData' parameter
 to 'dumInstructions'
 to be able to dump any instruction data later
rename AbstractControlFlowTest -> AbstractPseudocodeTest

to make later ControlFlowTest a subclass and preserve a history of the file
returned AbstractControlFlowTest
  as a subclass of AbstractPseudocodeTest
  moved code to it
check edges directions only in ControlFlowTest
added DataFlowInfoTest