Add bdd and act diagram