pub fn delete_states_properties(inprops: FstProperties) -> FstProperties