core: make synthesis work with weakeff
core: make synthesis work when boxing computations