Fix inverseOf assertion for holds