generated at
constraint composite graph