fix getSuccsOf to filter out FunctionDefs, add getAllSuccsOf