Whoops.
Successor parsing.
Infer.
Predecessor parsing.
Parse if.
Test parsing nested successors.