Automated reasoning for attributed graph properties