ifthen-to-provided-gpr