mtbdd: fix missing spawn/sync in mtbdd_abstract and streamline reference handling
mtbdd: fix missing spawn/sync in mtbdd_abstract and streamline reference handling
trolando/sylvan,Meijuh/sylvan,utwente-fmt/sylvan,Meijuh/sylvan,utwente-fmt/sylvan,trolando/sylvan