Merge branch 'makaimann-label-bads-btor'