Hi,
I'd like to rename icontract into pcontract to avoid name conflict with java's icontract library.

Do you have any better suggestion?

Thanks!
Marko