let
get_init_states (st,_) =
List
.filter (
fun
x
->
x.init =
Bool3
.
True
) st