Quartus II 9.0 build 235; Parameter settings problem

Hi All, I encountered with a wiered problem. When one of my verilog modules was not sysnthesized as State machine by Quartus, I checked the parameters settings created by Quartus for the State...