Generate constraints for symbolic DOM nodes and return result