Duetto native constructor rewriter needs functions to be simplified