Clean commented printing in flambdasimplify