additional constraints to make raaz work with criterion