More constraints added in Program Details