TGG model: update to general henshin model - isUsed flag fur rules