spec constant condition in assertion