BVP-->BVP simple opt for Raise, Return, Skip with Seq and If