Title: Pvs Prover Strategy Package for Common Manipulations