Reflects the current inferior DDlog syntax to the doc
Reflects the current inferior DDlog syntax to the doc

- clearer function definition, calls
- lack of underscore (wildcard)

RTsWorld/deepdive,RTsWorld/deepdive,sai16vicky/deepdive,zifeishan/deepdive,zifeishan/deepdive,sai16vicky/deepdive,maalmeida1837/deepdive,kod3r/deepdive,Gela/deepdive,RTsWorld/deepdive,closedLoop/deepdive,vsoch/deepdive,Atlas7/deepdive,infinitespace/deepdive,infinitespace/deepdive,nvoron23/deepdive,sai16vicky/deepdive,HazyResearch/deepdive,kod3r/deepdive,AlexisBRENON/deepdive,kod3r/deepdive,zifeishan/deepdive,nvoron23/deepdive,AlexisBRENON/deepdive,vasyvas/deepdive,topojoy/deepdive,HazyResearch/deepdive,topojoy/deepdive,vsoch/deepdive,Gela/deepdive,wgapl/deepdive,nvoron23/deepdive,maalmeida1837/deepdive,sky-xu/deepdive,AlexisBRENON/deepdive,kod3r/deepdive,sky-xu/deepdive,Gela/deepdive,Atlas7/deepdive,vasyvas/deepdive,vsoch/deepdive,closedLoop/deepdive,vasyvas/deepdive,nvoron23/deepdive,maalmeida1837/deepdive,vasyvas/deepdive,Atlas7/deepdive,topojoy/deepdive,wgapl/deepdive,maalmeida1837/deepdive,infinitespace/deepdive,HazyResearch/deepdive,maalmeida1837/deepdive,Atlas7/deepdive,shahin/deepdive,AlexisBRENON/deepdive,AlexisBRENON/deepdive,RTsWorld/deepdive,zifeishan/deepdive,vsoch/deepdive,wgapl/deepdive,infinitespace/deepdive,sai16vicky/deepdive,topojoy/deepdive,topojoy/deepdive,wgapl/deepdive,Atlas7/deepdive,Gela/deepdive,shahin/deepdive,Gela/deepdive,HazyResearch/deepdive,infinitespace/deepdive,infinitespace/deepdive,RTsWorld/deepdive,vsoch/deepdive,kod3r/deepdive,closedLoop/deepdive,closedLoop/deepdive,nvoron23/deepdive,zifeishan/deepdive,wgapl/deepdive,closedLoop/deepdive,vasyvas/deepdive,sai16vicky/deepdive