Renamed phiability to SSA conversion, and added more introduction