use satOne in RawState class to ensure fully specified BDD for state
allows no region props (no bit props)