added ways to set variables and the state  in CBMC