Block decomposition: when falling back to symbolic normalization, use contemporaneous symbolic Jacobian

Previously, it would use a symbolic Jacobian where leads and lags were also
taken into account.