Added a global_debug_flag and constants package to simplify
debugging.
updated cat script to pick up GlobalConstants package.
Fixed a bug:  handling the case when the guard-expression
is a constant.