let fd_use_canonicity = fd_static_symmetry_reduction && true