bugfix: eq. numbering with {onlysolutions} type environments