Add pre conditions to spec file.