Bump forc to 0.56, rust sdk to 0.60, adapt predicate to new encoding

Bump forc to 0.56, rust sdk to 0.60, adapt predicate to new encoding #145