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}