if (.NOT. allStepsCovered ) then
allStepsCovered =.true.
if (.NOT. allStepsCovered) then
logical haveRemainder, allStepsCovered
allStepsCovered = .false.