Tests crashing due to missing Viper function definitions

[fpoli]

The tests listed below crash with a Viper exception, probably because a function is called without being defined.

Example of exception:

Java exception: java.lang.RuntimeException: Function name m_pure_chain_7$$id$opensqu$0$closesqu$__$TY$__Snap$m_pure_chain_7$$A$opensqu$0$closesqu$$_beg_$_end_$Snap$m_pure_chain_7$$A$opensqu$0$closesqu$$_beg_$_end_ not found in program

Tests:

test [run-pass] pass/equality/pure-chain-5.rs ... 
test [run-pass] pass/equality/pure-chain-6.rs ... 
test [run-pass] pass/equality/pure-chain-7.rs ... 
test [run-pass] pass/equality/pure-chain-2.rs ... 
test [run-pass] pass/equality/pure-chain-1.rs ... 
test [run-pass] pass/equality/pure-chain-4.rs ... 

[fpoli]

@cmatheja