Fixed minor bug in multifunction synthesis. Fixed printing of let bound vars in solutions