Bug fixes in multifunction synthesis