Member predicate SsaDefinition::getBasicBlock

Gets the basic block to which this definition belongs.

Currently, all SSA definitions belong to a basic block, but the representation of implicit definitions might change in the future, making this no longer true.