https://github.com/jiayiyang1997/org.alloytools.alloy/tree/model_count