checkpoint
checkpoint
basic expression processing
basic assignment
checkpoint

1. lval
2. if