Changes to program slice, variable position enum, free variable generation and Flow
Merge branch 'master' of https://github.com/NikitaMartynov/ProgramAnalysis

Conflicts:
	program_analysis/src/Main.java