Remove formulae that are in the casallas/vr tap