code adds false constraints to false branch
made symbolic execution work for true and false states
created function to make true and false node_states
code can get concrete and symbolic variables