cocopro: made vector antecedents optional;