Generalized Planning With Procedural Domain Control Knowledge