add code to allow aborting fixpoint analysis if it is taking too long. add readRawValue routine.
add code to allow aborting fixpoint analysis if it is taking too long. add readRawValue routine.

darcs-hash:20060226044250-1a7c6-02973fbbe7e9e8c276b483371033f7b7ab4732c9

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc