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