Implemented PwsConstraint buffer and channel pop_back.
Pws reachability now runs for some machines. I am worried by it generating fewer constraints than the corresponding sb reachability analysis though...

Also,
 * Fixed to_string of my added statement types
 * Fixed to_string of PwsConstraint only showing buffers of global variables