updated ast-creator version to 1.6.1
fixed test scanner for prob. Now it uses the same settings as the test itself for scanning
Merge commit 'b7de1cfa17388d5d9bba5d18895c98a0a3460aaa' into his/solv
Create methods corresponding to vdm operators as follows
forall
exists
abs
create test data files