Fixed clue constraints in Z3 for Zebralogic#28

ashmitkx wants to merge 1 commit intomicrosoft:mainmicrosoft/interwhen:mainfrom

ashmitkx:mainashmitkx/interwhen:mainCopy head branch name to clipboard