WyalFile wycsFile) {
if (!RuntimeAssertions.getEnable()) {
// inline constraints if they have not already been done.
RuntimeAssertions rac = new RuntimeAssertions(this, filename);
methodCase = rac.transform(methodCase, method);
}
Type.FunctionOrMethod fmm = method.type();
int paramStart = 0;