bugfix: make sure throw() is imported since we are using it
bugfix: if -logic_name has not been given do not attempt to fetch the analysis
cosmetic: reordered conditions to simplify the control flow logic
bugfix: do not attempt arithmetic operations with undefs
bugfix: do not chicken out if sync() on this analysis has never been performed