added graph classes and parser, new unit tests
added classes for creating FOL formulas