Example: SymbolicInteger < int subtype check

Example to check the SymbolicInteger < int subtype relation via concolic execution.