let expression and cases expression are under construction
check translated expressions automatically

call ProB interpreter from CscMain
call ProB interpreter
erase duplicated description