foo { test-37: interpolant<=interpolant; test-38: interpolant <=interpolant; test-39: interpolant<= interpolant; test-40: interpolant <= interpolant; test-41: interpolant<=lschema_ritlp; test-42: interpolant <=lschema_ritlp; test-43: interpolant<= lschema_ritlp; test-44: interpolant <= lschema_ritlp; test-45: interpolant<=litlp_rschema; test-46: interpolant <=litlp_rschema; test-47: interpolant<= litlp_rschema; test-48: interpolant <= litlp_rschema; test-49: lschema_ritlp<=lschema_ritlp; test-50: lschema_ritlp <=lschema_ritlp; test-51: lschema_ritlp<= lschema_ritlp; test-52: lschema_ritlp <= lschema_ritlp; test-53: lschema_ritlp<=litlp_rschema; test-54: lschema_ritlp <=litlp_rschema; test-55: lschema_ritlp<= litlp_rschema; test-56: lschema_ritlp <= litlp_rschema; test-57: litlp_rschema<=litlp_rschema; test-58: litlp_rschema <=litlp_rschema; test-59: litlp_rschema<= litlp_rschema; test-60: litlp_rschema <= litlp_rschema; }