Histories are synchronized

Fixes #289.
Check that `owned_prolongation_` is null.