ensuringAllArgumentsAreInstantiated

Utility function to ensure that all arguments of Solve.Request are instantiated and not (still) Variables