Test freshInst on non-Forall
Test freshInst on Forall
Test freshInst only applies to current Forall
Test freshInst for Qual on non-Forall
Test freshInst for Qual on Forall
Test freshInst for Qual only applies to current Forall