Bug: CCDoc fails with method group in Contract.ForAll/Exists in pre/post conditions

Question

When Contract.ForAll or Contract.Exists is used in a pre/post condition, and the predicate given is a method group instead of a lambda, CCDoc fails with the following error:
CCDoc failed with uncaught exception: Object reference not set to an instance of an object.
Stack trace:    at CCDoc.CCDocCSharpSourceEmitter.TraverseChildren(IMethodCall methodCall)
   at Microsoft.Cci.CodeTraverser.Traverse(IMethodCall methodCall)
   at CCDoc.XContract.WriteCSharpFromAST(IExpression expression)
   at CCDoc.XPrecondition.WriteTo(XmlWriter writer)
   at CCDoc.XmlTraverser.WriteEndElement(XmlReader reader, XmlWriter writer)
   at CCDoc.XmlTraverserBase.WriteNodeSingle(XmlReader reader, XmlWriter writer)
   at CCDoc.XmlTraverserBase.Transform(XmlReader reader, XmlWriter writer)
   at CCDoc.CCDoc.WriteContracts(IDictionary`2 contracts, Options options, DocTracker docTracker)
   at CCDoc.CCDoc.RealMain(String[] args)
   at CCDoc.CCDoc.Main(String[] args)
Stack trace can vary, but its always the same method at the top.
Example code that produces this error: 
public static class Program
public static void Main(string[] args)
Contract.Requires(Contract.ForAll(args, ValidateArg));
public static bool ValidateArg(string arg)
return arg != null;

Answer 1

Hi Lev,
To your question to clear the track
You can delete your track as described in the below link, and then recreate the track and reimport.
Link: [Deleting Track|http://help.sap.com/saphelp_nw70/helpdata/EN/33/71fe94e1834af8b5bd3c0e1de5ab41/frameset.htm]
Do not forget to delete DTR workspace.
Do reward points if you find the link useful.
Cheers,
Sandeep