StateActionFunctionGenerator is made