En Btor portfölj med permaraf