fixed match outcome print for domain constants
added normalized heuristic for ggp