A decision procedure for a decidable fragment of generalized constraint diagrams