Make data structure to represent constraint