Moved `then` keyword down to align with `else`.
Moved `then` keyword down to align with `else`.

ploeh/FsCheck,jhamm/FsCheck,fscheck/FsCheck,ErikSchierboom/FsCheck,sideeffffect/FsCheck,fscheck/FsCheck,fsharp/FsCheck