Revise inference
Update pretty printer