CheerpBackend: Unit tests for pointer analyzer