Rename from Jerkin to SimpleBdd