Added pc to the constraints to get feedback error. added pc to pretty printer to be able to match