FrAG: Framework for the Analysis of Games