handle conjunction in verspec