Adapted depth of interface specification computation to the depth    finally used in the static analysis for toplevel variable annotation.
Adapted depth of interface specification computation to the depth
   finally used in the static analysis for toplevel variable annotation.



yjaradin/mozart2,yjaradin/mozart2,eregon/mozart-graal,layus/mozart2,avisparesearch/Mozart2,eregon/mozart-graal,eregon/mozart2,avisparesearch/Mozart2,eregon/mozart-graal,layus/mozart2,mistasse/mozart-graal,mistasse/mozart-graal,mozart/mozart2,mistasse/mozart-graal,mistasse/mozart-graal,dianacgr/mozart2,Angeldude/mozart2,dianacgr/mozart2,yjaradin/mozart2,mistasse/mozart-graal,eregon/mozart2,Angeldude/mozart2,eregon/mozart2,eregon/mozart-graal,eregon/mozart-graal,Angeldude/mozart2,mozart/mozart2,mozart/mozart2,layus/mozart2,eregon/mozart-graal,dianacgr/mozart2