Fast liveness checking for ssa-form programs