Boogie 2 support, invariant inference

[Martin Milata]

Hello,

I'm considering implementing static analysis for C programs using
FreeBoogie and I'd like to ask few questions:

Is support for Boogie 2 planned?
Is there a plan to support invariant inference?
Can FreeBoogie be used as a library by another java program?

Thanks,
Martin Milata