(.js) laraImport("clava.autopar.checkForInvalidStmts"); (.lara) import clava.autopar.checkForInvalidStmts;
Aspects:
checkForInvalidStmts