Reasoning About General Games Described in GDL-II