Renamed MVASP to MVPF for consistency.
Fixed several of the features in MVPF.
Fixed cardinality formulas in the head that don't have a variable list.