add some shortcuts on relop based on physical equality#484

filipeom merged 1 commit intoformalsec:mainformalsec/smtml:mainfrom

redianthus:phys_eq_shortcutredianthus/smtml:phys_eq_shortcutCopy head branch name to clipboard