sequence: different return value for pre- and post condition check failure