jormungandr: quick fix to fix v0

and use jormungandr bdd  instances instead of jormungandr instances
(names not very clear :))