Implemented new constructors for state and direct_assignment