Method execute

src/main/java/wyc/task/QuickCheck.java:188–207

(WyilFile context, QualifiedName name, Type.Callable signature, CallStack frame, RValue... args)

	}

	private boolean execute(WyilFile context, QualifiedName name, Type.Callable signature, CallStack frame, RValue... args) throws IOException {
		// FIXME: approach for constructing stack frame inefficient!
		//
		try {
			interpreter.execute(name, signature, frame, args);
			//
			return true;
		} catch (Interpreter.RuntimeError e) {
			// FIXME: there is a known problem here because the stack frame will produce the
			// current values for the parameters, not their actual values on entry. The
			// easiest way to fix this is to prevent assignments to parameters!!
			//
			// Extract stack frame information
			StackFrame[] errorframe = e.getFrame().toStackFrame();
			// Add appropriate syntax error to the syntactic item where the error arose.
			ErrorMessages.syntaxError(e.getElement(), e.getErrorCode(), errorframe);
			// Done
			return false;
		}
	}

	private boolean check(Decl.Type t, ExtendedContext context) {
		Runtime runtime = Runtime.getRuntime();