simplified computation of loop headers / loop body blocks in WALACFGUtil, fixed some bugs in the process
preventing synchronized blocks from being accidentally treated as loop heads