caesar: added precondition asserts