* Fixed transformation to pull constants into Loop body
* Improved check that the value for Parameter node is not changed during iterations if the back edge exist
* Added unit tests for common_bfs function
* Stilistic changes
* Fixed typo
* Moved a check into the parameter_unchanged_after_iteration function