Removed test for generation of sequence comprehensions that will be replaced
Added four tests for exercising generation of sequence comprehensions
Fix for Java/VDM value comparison. Now Updatable VDM values are unfolded