Fixed annotation in pritty printing and move method in the swap
parameter case
Fixed inline local