throw new Error('No semantics for unary op ' + node.name);
invoke: function($super, node, recv, func, argValues) {
if (!func && (!recv || !recv.isConstraintObject)) {
var error = 'No such method: ' + recv + '.' +
(node.property && node.property.value);
if (recv && recv.isConstraintObject) {
var forInterpretation = func.forInterpretation;
func.forInterpretation = undefined;
return cop.withoutLayers([ConstraintConstructionLayer], function() {
return $super(node, recv, func, argValues);