new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic