slight bugfix for non-terminal, goal checking
mentioned -stdlib=libstdc++