} catch (ParseException p) { System.out.println(p.getMessage());
} catch (ParseException p) { throw new RuntimeException(p.toString());
	public synchronized CallGraph solve()	{		if (!parsed) {			try {				this.parse();			} catch (ParseException p) {				System.out.println(p.getMessage());			}		}		return ( this.callgraph );	}