private static string SizeOfPrint <Variable, Expression>(Expression sizeOfExp, IExpressionDecoder <Variable, Expression> decoder, int height) { Contract.Ensures(Contract.Result <string>() != null); int size; if (decoder.TrySizeOf(sizeOfExp, out size)) { return(size.ToString() + "(sizeof)"); } else { return("sizeof( ? )"); } }