specs for TaskContext and VariableProxy