en Btor roll och synes varaberoende