Moved all elaboration to front
Specverify
Elab VCs
Param new encoding
Primitive relations framework