Split diffvars stuff out of analyse.c. Fixed IDA to work when vars are fixed/freed after the integration system is build. There will still be problems where fixing/freeing a *derivative* causes relations to drop out.