graph grammar solver