IfInitialStateEncoder

constructor()