Added additional options to BLIF backend