/** * Invariant util package. */ package com.crawljax.condition.invariant;