BDD framework for the Riml programming language