franca: initializer generator
franca: contract generator