rewrite the ssromega tactic
change the ssromega tactic to recognizes minn and maxn