insert_after is no longer contained within a segment
modified 'base case' of binary search
Modified pma_create to create a completely empty pma.