SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants - View it on GitHub