Dependency analysis with Kind variables instead of Lustre variables