Fixed assertion in diffcov and some issues in strgraph.c