added Clafer Tools Instance Generators