Not sure that those spec files are really needed. The basic strategy might be enough
Try to investigate how pre-conditions are actually checked