added double-declaration-tests