Added try-catches and datatype proper set for constraint and simple constraint enumerator