fix equivalent bug for constant reals
fix equivalent bug for constant reals


Former-commit-id: 6d88aa50cf277bcf55271f70c14a31976a168351
HPI-SWA-Lab/SQPyte,HPI-SWA-Lab/SQPyte,HPI-SWA-Lab/SQPyte,HPI-SWA-Lab/SQPyte,HPI-SWA-Lab/SQPyte