ifstmt removed from pretty printer (missed this somehow before)