private static void GenerateCodeForBDD(StringBuilder code, BDD pred, string methid) { code.Append(string.Format("return {0};", RangesToCode(pred.ToRanges()))); }