Least Herbrand model works without functions, Parser started