BVL-->BVP compiler transformed into BVI-->BVP compiler