Adds also to the SimpleBDD language.