3:2-3 TVariable "a"
3:5-6 TVariable "b"
5:1-2 TFunction "f"
5:3-4 TFunction "g"
5:5-6 TVariable "y"
5:9-10 TFunction "g"
5:11-12 TVariable "y"