Deversion IR builder use in bin/ast