(from AG01 4.5) (RULES f(0) -> f(0) 0 -> 1 ) (STRATEGY INNERMOST)
Submit to AProVE Web Frontend
Edit in AProVE Web Frontend