Function backward_of 

pub fn backward_of(
    rp: &RecognizedProgram,
    output: &str,
    cotangent: &str,
    wrt: &[&str],
) -> Result<Backward, VjpRefusal>

backward over a program the front end has already lifted.