#NEWLINE# def test_unifiable( ) : #NEWLINE# #INDENT# x = var ( 'x' ) #NEWLINE# f = A ( 1 , 2 ) #NEWLINE# g = A ( 1 , x ) #NEWLINE# assert ( unify ( f , g , { #NEWLINE# #INDENT# #NEWLINE# #UNINDENT# } ) == { #NEWLINE# #INDENT# x : 2 , #NEWLINE# #UNINDENT# } ) #NEWLINE# assert ( reify ( g , { #NEWLINE# #INDENT# x : 2 , #NEWLINE# #UNINDENT# } ) == f )