fixed a bug in inlining
changed the attribute on callee ensures to "HoudiniAssume" rather than "assume"
added a comment
fixed various CodeContracts issues.