(.js) laraImport("clava.analysis.checkers.FprintfChecker"); (.lara) import clava.analysis.checkers.FprintfChecker;
Classes:
new FprintfChecker()
check($node)