Prj2

Goes from the end backwards (i.e. from the result variable towards inital variables) and splits this expression at the boundary where the given predicate first returns true. Initial variables of the resulting trimmed Expr[B] (second part of the returned tuple) are exactly the terminal variables of the returned prefix expressions (first part of the returned tuple). If in some branch the predicate never returns true, the expression's initial variable in that branch is returned as Left.