added buggy sema test