Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains