BVL-->BVP compiler now adds live var annotations
simplified BVP If-statements
BVP simp opt improved: right assoc Seq