Don't update after '?' when case splitting

lhs has no metavariables after all, and we don't want to update the rhs
anyway. Fixes #1464