Added an ifndef guard around PATSCCOMP in case people need to customize the C compiler
Added sizeof information to the constraint-export
Made s2Vars simplify to size expressions when they represent static variables.
Fixed the way I transformed sVars into svars for size expressions.
Exported class info with s2cst.