Checking equation graphs