if(op != null) {
top.popOperatorsTo(op.precedence);
top.add(mx);
top.push(op.precedence, mx, Level.Type.REGULAR);
} else {
OpArity opa = trinaryOperatorTable.get(name);
if(opa != null) {
if(lastMessage != null) {
lastMessage.css = messageSendClass(coverage);
lastMessage.coverageCount = coverage;
}