code: public PStm findStatement(PStm stm, int lineno)
  	{
  		try
  		{
  			return stm.apply(af.getStatementFinder(), lineno);// FIXME: should we handle exceptions like this
  		} catch (AnalysisException e)
  		{
  			return null; // Most have none
  		}
  
  	}
docs: Find a statement starting on the given line. Single statements just compare their location to lineno, but block
  statements and statements with sub-statements iterate over their branches.
  
  @param stm
  the statement
  @param lineno
  The line number to locate.
  @return A statement starting on the line, or null.