Basic block counting functionality is implemented