[BefunRep] Formatting and Output Improvements