Towards Large Language Model Aided Program Refinement