power_map should not use state*

there is no reason for powerset to work with state* anymore