SciFe: Framework for Efficient Generation of Data Structures with Invariants