Some work on pointeranalysis, intraprocedural not working correctly yet, interprocedural not implemented yet, rabbits are awesome