Modify IfExp in VdmToBConverter.java
Make soccer-inlined functions-ifexp.vdmsl to check if expression.
in this case, use the expression like
 if text then then_part else false
in post-condition of SUBSTITUTION