langford/flatPred

extension for slightly less painful optional usage in precondition tests

Swift