sig
val add_prop :
Flx_types.fully_bound_symbol_table_t -> Flx_ast.property_t -> int -> unit
val rem_prop :
Flx_types.fully_bound_symbol_table_t -> Flx_ast.property_t -> int -> unit
val get_vs : Flx_types.fully_bound_symbol_table_t -> int -> Flx_types.bvs_t
end