Quartus doesnt recognize my FSM as a FSM

In a short: the problem isn't in the posted code.

I didn't understand, why Quartus won't infer a FSM from your design, so I supplemented the missing design frame, that is unfortunately stripped off from your code. It turned out, that both variants are recognized as FSM, both in Quartus 9.0 and 11.0.

I don't know why, but I guess that there's something special with the signals you are feeding to or driving from your design, so that possibly part of design functionally is removed. Or it has to do with non-standard synthesis settings.

In any case, the experiment clarifies, that the problem isn't located in the posted code, and previous assumptions about the problem are more or less missing the point.

The case shows once more, that discussing code snippets involves a risk of jumping into conclusions.