getAssignment

fun getAssignment(fv: FunctionVariable): Protocol
fun getAssignment(f: FunctionName, v: Variable): Protocol