Finished StrictAliasingDetection. Move ptrToVariable() to
VariableFactory pass.