ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)