  The study consists of two parts. Objective of the first part is modern
language constructions responsible for algorithmically insolvability of
parallelizing problem. Second part contains several ways to modify the
constructions to make the problem algorithmically solvable
