Added -buf, -true and -false options to blif backend