Uncouple assertion from sequence generation