let fd_static_symmetry_reduction = true