@xiangli-cmu You can remove this if/else if you change `promotable` to a function.