Progress in Verific bindings