Changed current relation from BasicBlock to BasicBlockImpl, and Function