Passing option module/1 to write_term, to allow correct printing of operators
Minor bug fix: passing module to print_expansion_sb/_