Updated GRF to work with RCF subproblems arising from MetiTarski.