public void setUp() { parser = new FOLParser(DomainFactory.crusadesDomain()); vc = new VariableCollector(); }