predicate fzn_regular(
	array[int] of var int: x,
	int: Q,
	set of int: S,
	array[int,int] of int: d,
	int: q0,
	set of int: F
) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
