Added dependency2binarycontexts, fixed vec2array