Points-to analysis is now implemented but there is one thing missing:
We can only perform points-to analysis on local variables, not object fields yet.