add model_dependecy
add test for model_dependency
use model_dependency in prophyc
use model_dependency in IsarParser
remove unused code and test from IsarParser
fix after review
remove model sort in IsarParser  move test to sort constant ot test_model_sort
Merge branch 'dependency_sort' into develop